Formal Design and Analysis of an Ambient Multi-Agent System Model for Medicine Usage Management
نویسندگان
چکیده
A formally specified multi-agent-based model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamic system model to estimate the drug concentration in the patient’s body by simulation, and is able to analyse whether the patient intends to take the medicine too early or too late.
منابع مشابه
Formal Design and Simulation of an Ambient Multi-agent System Model for Medicine Usage Management
A formally specified multi-agent-based model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamic system model to estimate the medicine level in the patient’s body by simulation, and is able to analyse whether the patient intends to take the medicine too early or too late.
متن کاملFormal Analysis of Intelligent Agents for Model-Based Medicine Usage Management
A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient’s body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take meas...
متن کاملFormal specification and analysis of intelligent agents for model-based medicine usage management
A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient's body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take meas...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007